421. Simplified independence proofs
Author: [by] J. Barkley Rosser.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra, Boolean.,Independence (Mathematics),Set theory.
422. Simplified independence proofs; Boolean valued models of set theory
Author: Rosser, John Barkley
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Independence )Mathematics(,، Algebra, Boolean,، Set theory
Classification :
QA
3
.
P8
vol
.
31
423. Simplified independence proofs; Boolean valued models of set theroy
Author: / J. Barkley Rosser
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Algebra, Boolean
Classification :
511
.
32
Ro-S
424. Special groups: boolean-theoretic methods in the theory of quadratic forms
Author: M. A. Dickmann, F. Miraglia
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Forms, Quadratic,، Algebra, Boolean
Classification :
QA
3
.
A475
no
.
689
425. Statistics of the boolean model for Practitioners and mathematicians
Author: / Ilya Molchanov
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Algebra,Boolean
Classification :
QA10
.
3
.
M65
1997
426. Statistics of the boolean model for practitioners & mathematicians
Author: Molchanov, Ilya
Library: Central Library and Information Center of Birjand University (South Khorasan)
Subject: ، Algebra, Boolean
Classification :
QA
10
.
3
.
M6
S7
427. Stone spaces /
Author: Peter T. Johnstone
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra,Algebra, Boolean,Functional analysis,Representations of algebras,Topology
Classification :
QA10
.
3
.
J63
1982
428. Stone spaces
Author: Peter J. Johnstone
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Algebra, Boolean,، Representations of algebras,، Topology,، Algebra,، Functional analysis
Classification :
QA
10
.
3
.
J64
1982
429. Stone spaces
Author: Johnstone, P. T.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Algebra, Boolean,، Representations of algebras,، Topology,، Algebra,، Functional analysis
Classification :
QA
10
.
3
.
J63
1982
430. Structures ordonnees et algebres de boole
Author: / par R. Faure et E. Heurgon
Library: Library of College of Science University of Tehran (Tehran)
Subject: Algebra, Abstract,Algebra, Boolean
Classification :
QA
162
.
F38
1971
431. Switching Machines :
Author: by J.-P. Perrin, M. Denouette, E. Daclin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.
Classification :
QA267
.
5
.
S4
B957
1972
432. Switching theory for logic synthesis.
Author: Tsutomu Sasao
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
TK7868
.
L6
T788
2012
433. Techniques booleennes et calculateurs arithmetique
Author: Chinal, Jean
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Switching theory,، Sequential machine theory,، Algebra, Boolean
Classification :
QA
401
.
C52
434. Techniques booleennes et calculateurs arithmetiques
Author: / J. Chinal
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Switching theory,Sequential theory,Algebra, Boolean
Classification :
QA401
.
C52
435. Techniques booleennes et calculateurs arithmetiques
Author: / par J. chinal,Chinal
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Algebra, Boolean,Calculating - machines
Classification :
QA
266
.
C5
436. Test pattern generation using Boolean proof engines
Author: / by Rolf Drechsler ... [et al.]
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Integrated circuits--Verification,Computer software--Verification,Computer algorithms.,Algebra, Boolean.
Classification :
TK
,
7874
.
58
,.
T47
,
2009
437. Test pattern generation using Boolean proof engines
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Integrated circuits ; Verification. ; Automatic test pattern generation. ; Automatic test equipment. ; Computer algorithms. ; Algebra, Boolean. ; ATPG. ; swd. ; Hardwareverifikation. ; swd. ; Integrierte Schaltung. ; swd. ;
438. The Art of the Intelligible :
Author: by John L. Bell.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Geometry.,Logic, Symbolic and mathematical.,Philosophy (General),Science-- Philosophy.,Algebra.,Geometry.,Logic, Symbolic and mathematical.,Science-- Philosophy.
Classification :
B67
439. The Essentials of booiean algebra
Author: / Alan David Solomon
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Algebra, Boolean
Classification :
QA
10
.
3
.
S64
440. The Logic of Partial Information
Author: by Areski Nait Abdallah.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
Classification :
QA76
.
7
B937
1995
